A DCPO-enriched linear/non-linear model
نویسندگان
چکیده
Rios and Selinger have recently proposed a categorical model for the quantum programming language Proto-Quipper-M, which is an important fragment of the Quipper language. In this work, we describe an extension to their categorical model with the additional property that it is DCPOenriched, bringing us closer to modeling general recursion in the language. Similar to their model, our model exhibits a symmetric monoidal adjunction between a cartesian closed category and a monoidal closed category that previously has been shown to be a sound categorical model for a mixed linear/non-linear (and not necessarily quantum) programming language by Benton.
منابع مشابه
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
We describe categorical models of a circuit-based (quantum) functional pro- gramming language. We show that enriched categories play a crucial role. Following earlier work on QWire by Paykin et al., we consider both a simple first-order linear language for circuits, and a more powerful host language, such that the circuit language is embedded inside the host language. Our categorical semantics ...
متن کاملEstimating Stock Price in Energy Market Including Oil, Gas, and Coal: The Comparison of Linear and Non-Linear Two-State Markov Regime Switching Models
A common method to study the dynamic behavior of macroeconomic variables is using linear time series models; however, they are unable to explain nonlinear behavior of the series. Given the dependency between stock market and derivatives, the behavior of the underlying asset price can be modeled using Markov switching process properties and the economic regime significance. In this paper, a two-...
متن کاملKinetic modeling of methylene blue adsorption onto acid-activated spent tea: A comparison between linear and non-linear regression analysis
The kinetic study of methylene blue (MB) adsorption using acid-activated spent tea (AAST) as an adsorbent from aqueous solution with the aim of comparing linear and non-linear regression analysis methods was performed at varying initial MB concentrations (10-100 mg/l). Hence, spent tea leaves, which were activated using concentrated sulfuric acid, were prepared. The physicochemical characterist...
متن کاملDetermination of the linear and non-linear relationships between soil erodibility factor and effective parameters on it in a mountainous watershed with severe soil erosion
Soil erodibility factor is a criterion of soil particle resistance to detachment, transport, and effects of erosivity factors (rain drop, runoff, and wind) during the soil loss processes. In this study, non-linear support vector machines (SVMs) method was used for investigating the effects of some topography, soil physical and mechanical properties on soil erodibility in a part of Northern Karo...
متن کاملTesting for Stochastic Non- Linearity in the Rational Expectations Permanent Income Hypothesis
The Rational Expectations Permanent Income Hypothesis implies that consumption follows a martingale. However, most empirical tests have rejected the hypothesis. Those empirical tests are based on linear models. If the data generating process is non-linear, conventional tests may not assess some of the randomness properly. As a result, inference based on conventional tests of linear models can b...
متن کامل